minios: Remove Linux attribution for mktime() as it's not true since c/s 19638.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/extras/mini-os/arch/ia64/time.c b/extras/mini-os/arch/ia64/time.c
index 95e1ce4efe871e81eb6a10c7f0eda13c17448bae..d358730c2756d12c3ac25137573c1c8529cdd67b 100644 (file)
--- a/extras/mini-os/arch/ia64/time.c
+++ b/extras/mini-os/arch/ia64/time.c
@@ -85,7 +85,6 @@ static int get_day(int year, int mon, int day) {
 }
 
 /*
- * mktime() is take from Linux. See copyright above.
  * Converts Gregorian date to seconds since 1970-01-01 00:00:00.
  * Assumes input in normal date format, i.e. 1980-12-31 23:59:59
  * => year=1980, mon=12, day=31, hour=23, min=59, sec=59.